/LMAR=0/XLINE=3/FONT#0=SGN114/FONT#1=CRTURZ



␈↓ α∧␈↓␈↓ α_ASSIGNMENT


␈↓ α∧␈↓␈↓ ¬z4



␈↓ α∧␈↓␈↓ α_ASSIGNMENT


␈↓ α∧␈↓␈↓ ¬z5